Instruct: Given a statement, retrieve legal articles that support it.
Query: 
A library of a university A has a book "P", and a professor B borrowes the same and uses his/her office in the same campus.
In the case where B left "P" in a train on the way home, and F found and possesses the same, B may claim for the restoration of "P" by bringing an action for recovery of possession against F.


Article 200
(1) If a possessor is forcibly dispossessed, the possessor may demand the restitution of the thing and compensation for loss or damage by filing an action for recovery of possession.
(2) An action for recovery of possession may not be filed against a specific successor of a person that forcibly takes possession;provided, however, that this does not apply if that successor had knowledge of the fact that the person has unlawfully taken the possession..


Article 295
(1) If a possessor of a thing belonging to another person has a claim that has arisen in relation to that thing, that possessor may retain that thing until that claim is satisfied;provided, however, that this does not apply if the relevant claim has not yet fallen due.
(2) The provisions of the preceding paragraph do not apply if possession commenced by means of a tortious act.
Article 303
The holder of a statutory lien has the rights to have that holder's own claim satisfied prior to other obligees out of the assets of the relevant obligor in accordance with the provisions of laws including this Act..


Article 186
(1) A possessor is presumed to possess a thing with the intention to own, in good faith peacefully and openly.
(2) If there is evidence of possession at two different points in time, it is presumed that possession continued during that interval..


Article 189
(1) A possessor in good faith acquires fruits derived from the thing under possession.
(2) If a possessor in good faith is defeated in an action on the title that legally supports the possession, that possessor is deemed to be a possessor in bad faith as from the time when the action is filed.
Article 190
(1) A possessor in bad faith has the obligation to return fruits, and reimburse the price of fruits that the possessor has already consumed, damaged due to negligence, or failed to collect.
(2) The provisions of the preceding paragraph apply mutatis mutandis to a person who takes possession of a thing through assault or duress or through concealment..


Article 201
(1) An action for maintenance of possession must be filed during the obstruction or within one year after the obstruction stops;provided, however, that if the possessed thing has been damaged due to construction work and either one year has passed from the time when the construction was started or the construction has been completed, the action may not be filed.
(2) An action for preservation of possession may be filed so long as the danger of obstruction exists.In this case, the provisions of the proviso to the preceding paragraph apply mutatis mutandis if the possessed thing is likely to be damaged by the construction work.
(3) An action for recovery of possession must be filed within one year from the time when a possessor was forcibly dispossessed..


Article 452
If an obligee has requested performance of an obligation from the guarantor, the guarantor may request the obligee to demand performance of the principal obligor first;provided, however, that this does not apply if the principal obligor is subject to an order commencing bankruptcy proceeding or if the principal obligor's whereabouts are unknown..


Article 304
(1) A statutory lien may also be exercised against things including monies that the obligor is to receive as a result of the sale, lease or loss of, or damage to, the subject matter of the statutory lien;provided, however, that the holder of the statutory lien must attach the same before the payment or delivery of the monies or other thing.
(2) The provisions of the preceding paragraph also apply to the consideration for real rights created by the obligor on the subject matter of the statutory lien..


Article 321
Statutory liens for the sale of movables exist against movables, in connection with the price of those movables and interest on the same.
Article 304
(1) A statutory lien may also be exercised against things including monies that the obligor is to receive as a result of the sale, lease or loss of, or damage to, the subject matter of the statutory lien;provided, however, that the holder of the statutory lien must attach the same before the payment or delivery of the monies or other thing.
(2) The provisions of the preceding paragraph also apply to the consideration for real rights created by the obligor on the subject matter of the statutory lien..


Article 705
A person that has paid money or delivered anything as performance of an obligation may not demand the return of the money paid or thing delivered if the person knew, at the time, that the obligation did not exist..


Article 186
(1) A possessor is presumed to possess a thing with the intention to own, in good faith peacefully and openly.
(2) If there is evidence of possession at two different points in time, it is presumed that possession continued during that interval.
Article 188
The possessor is presumed to lawfully have the rights that a possessor exercises with respect to the thing under possession.
Article 192
A person that commences the possession of movables peacefully and openly by a transactional act acquires the rights that are exercised with respect to the movables immediately if the person possesses it in good faith and without negligence..


Article 179
(1) If ownership and another real right on the same thing are acquired by the same person, the other real right is extinguished;provided, however, that this does not apply if that thing or the other real right is the object of the right of a third party.
(2) If a real right other than ownership and another right for which that real right is the object are acquired by the same person, the other right is extinguished.In this case, the provisions of the proviso to the preceding paragraph apply mutatis mutandis.
(3) The provisions of the preceding two paragraphs do not apply to possessory rights..


Article 183
If an agent manifests the intention to thenceforward possess a thing under the agent's own possession on behalf of the principal, the principal thereby acquires the possessory rights.
Article 200
(1) If a possessor is forcibly dispossessed, the possessor may demand the restitution of the thing and compensation for loss or damage by filing an action for recovery of possession.
(2) An action for recovery of possession may not be filed against a specific successor of a person that forcibly takes possession;provided, however, that this does not apply if that successor had knowledge of the fact that the person has unlawfully taken the possession..


Article 594
(1) A borrower must make use of and take the profits of the thing in compliance with the method of use specified by the contract or by the nature of the thing which is the subject matter of the contract.
(2) A borrower may not allow third parties to make use of or take the profits of the thing without obtaining the approval of the lender.
(3) If a borrower has made use of or taken the profits of the thing in violation of the provisions of the preceding two paragraphs, the lender may cancel the contract.
Article 616
The provisions of Article 594, paragraph (1) apply mutatis mutandis to leases..


Article 597
(1) If the parties specify a period of a loan for use, the loan for use is terminated upon the expiration of the period.
(2) If the parties do not specify a period of a loan for use, but they specify the purpose of using and making profit from the borrowed thing, the loan for use is terminated when the borrower finishes using and making profit from the thing in line with the purpose.
(3) A loan for use is terminated upon the death of the borrower..


Article 562
(1) If the subject matter delivered to the buyer does not conform to the terms of the contract with respect to the kind, quality or quantity, the buyer may demand that the seller cure the non-conformity of performance by repairing the subject matter, delivering the substitute or delivering the replenishment;provided, however, that the seller may cure the non-conformity of performance by a method that is different from the method demanded by the buyer if it does not impose any undue burden on the buyer.
(2) If the non-conformity referred to in the preceding paragraph is due to grounds attributable to the buyer, the buyer may not demand that the seller cure the non-conformity of performance under the provisions of that paragraph.
Article 533
A party to a bilateral contract may refuse to perform that party's own obligation until the other party tenders the performance of that other party's obligation (including the performance of an obligation to compensate for loss or damage in lieu of the performance of an obligation);provided, however, that this does not apply if the obligation of the other party is not yet due..


Article 459
(1) If a guarantor gives guarantee as requested by the principal obligor, and performs the obligation on behalf of the principal obligor or performs any other act that causes the obligation to be extinguished in exchange for the guarantor's own property (hereinafter referred to as an "act for extinguishment of obligation"), the guarantor has a right to reimbursement from the principal obligor for the amount of property expended for that act (if the amount of property exceeds the amount of the principal obligation extinguished by the act for extinguishment of obligation, the amount thus extinguished).
(2) The provisions of Article 442, paragraph (2) apply mutatis mutandis to the cases set forth in the preceding paragraph..


Article 391
If a third party acquirer of a mortgaged immovables has incurred necessary or beneficial expenses with respect to the mortgaged immovables, that third party may obtain reimbursement of the same out of the proceeds of the mortgaged immovables prior to other obligees, in accordance with the distinctions in Article 196.
Article 196
(1) If a possessor returns a thing in the possession thereof, the possessor may have the person recovering the thing reimburse the possessor for the costs the possessor has paid for its preservation and other necessary expenses;provided, however, that if the possessor has acquired fruits, ordinary and necessary expenses are borne by the possessor.
(2) With respect to the costs paid for by a possessor to improve the thing in the possession thereof and other beneficial expenses, the possessor may have the person recovering the thing reimburse the possessor for either the costs the possessor has paid or the amount of the increased value, whichever the person recovering the thing chooses, but only if there is a current increase in value;provided, however, that with regard to a possessor in bad faith, the court may, at the request of the person recovering the thing, grant a reasonable period of time for the same..


Article 242
The owner of immovables acquires ownership of a thing that has been attached thereto as its appurtenance;provided, however, that the rights of the other person that attached that thing by virtue of a title are not prejudiced..


Article 533
A party to a bilateral contract may refuse to perform that party's own obligation until the other party tenders the performance of that other party's obligation (including the performance of an obligation to compensate for loss or damage in lieu of the performance of an obligation);provided, however, that this does not apply if the obligation of the other party is not yet due..


Article 597
(1) If the parties specify a period of a loan for use, the loan for use is terminated upon the expiration of the period.
(2) If the parties do not specify a period of a loan for use, but they specify the purpose of using and making profit from the borrowed thing, the loan for use is terminated when the borrower finishes using and making profit from the thing in line with the purpose.
(3) A loan for use is terminated upon the death of the borrower..


Article 663
(1) If the parties have not specified the timing of the return of the bailed thing, the bailee may return the same at any time.
(2) If the timing of the return is specified, the bailee may not return the deposited thing prior to the due date unless there is a compelling reason to do so..


Article 717
(1) If a defect in the installation or preservation of a structure on land causes damage to another person, the possessor of that structure is liable to the person incurring damage to compensate for the damage;provided, however, that if the possessor has exercised the necessary care to prevent the damage, the owner must compensate for the damage.
(2) The provisions of the preceding paragraph apply mutatis mutandis if there is a defect in the planting or supporting of bamboo or trees.
(3) In the cases referred to in the preceding two paragraphs, if there is another person that is liable for the cause of the damage, the possessor or owner may exercise their right to reimbursement against that person..


Article 533
A party to a bilateral contract may refuse to perform that party's own obligation until the other party tenders the performance of that other party's obligation (including the performance of an obligation to compensate for loss or damage in lieu of the performance of an obligation);provided, however, that this does not apply if the obligation of the other party is not yet due..


Article 717
(1) If a defect in the installation or preservation of a structure on land causes damage to another person, the possessor of that structure is liable to the person incurring damage to compensate for the damage;provided, however, that if the possessor has exercised the necessary care to prevent the damage, the owner must compensate for the damage.
(2) The provisions of the preceding paragraph apply mutatis mutandis if there is a defect in the planting or supporting of bamboo or trees.
(3) In the cases referred to in the preceding two paragraphs, if there is another person that is liable for the cause of the damage, the possessor or owner may exercise their right to reimbursement against that person..


Article 295
(1) If a possessor of a thing belonging to another person has a claim that has arisen in relation to that thing, that possessor may retain that thing until that claim is satisfied;provided, however, that this does not apply if the relevant claim has not yet fallen due.
(2) The provisions of the preceding paragraph do not apply if possession commenced by means of a tortious act.
Article 303
The holder of a statutory lien has the rights to have that holder's own claim satisfied prior to other obligees out of the assets of the relevant obligor in accordance with the provisions of laws including this Act.
Article 388
If the land and a building on that land belong to the same owner, a mortgage is created with respect to that land or building, and the enforcement of that mortgage causes them to belong to different owners, it is deemed that a superficies has been created with respect to that building.In this case, the rent is fixed by the court at the request of the parties..
